
// RTOS Kernel Headers
#include <kernelConfig.h>
#include <task.h>
#include <interrupt.h>

unsigned char exceptStack[CONFIG_EXCEPT_STACK_SIZE];


/*
 * Name	 : IntSaveDisableIRQ
 * Description :
 * Parameter : None
 */
unsigned int IntSaveDisableIRQ(void)
{
	/* fixme */
}

/*
 * Name	 : IntRestoreIRQ
 * Description :
 * Parameter : None
 */
void IntRestoreIRQ(unsigned int flag)
{
	/* fixme */
}

/*
 * Name	 : IntEnable
 * Description :
 * Parameter : None
 */
void IntEnable(void)
{
	EnableInterruptsFromThumb();
}

/*
 * Name	 : IntDisable
 * Description :
 * Parameter : None
 */
void IntDisable(void)
{
	DisableInterruptsFromThumb();
}




